NOTES ON MONADIC n-VALUED LUKASIEWICZ ALGEBRAS
ثبت نشده
چکیده
A topological duality for monadic n-valued Lukasiewicz algebras introduced by M. Abad (Abad, M.: Estructuras cíclica y monádica de un álgebra de Lukasiewicz nvalente. Notas de Lógica Matemática 36. Instituto de Matemática. Universidad Nacional del Sur, 1988) is determined. When restricted to the category of Q-distributive lattices and Q-homomorphims, it coincides with the duality obtained by R. Cignoli in 1991. A new characterization of congruences by means of certain closed and involutive subsets of the associated space is also obtained. This allowed us to describe subdirectly irreducible algebras in this variety, arriving by a different method at the results established by Abad.
منابع مشابه
Monadic GMV-algebras
Monadic MV –algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. GMV -algebras are a non-commutative generalization of MV -algebras and are an algebraic counterpart of the non-commutative Lukasiewicz infinite valued logic. We introduce monadic GMV -algebras and describe their connections to certain ...
متن کاملn×m−valued Lukasiewicz-Moisil algebras with two modal operators
In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...
متن کاملTitle Fuzzy Topology and Łukasiewicz Logics from the
This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...
متن کاملMutually Exclusive Nuances of Truth in Moisil Logic
Moisil logic, having as algebraic counterpart Lukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events. However, using the original definition of Lukasiewicz-Moisil algebra, the principle does not apply for subalgebras. In this paper we identify an alternative a...
متن کاملConnections between M V N Algebras and N-valued Lukasiewicz-moisil Algebras -iv 1 ;2
We introduce two chains of unary operations in the MVn algebra of Revaz Grigolia; they will be used in establishing many connections between these algebras and n-valued Lukasiewicz-Moisil algebras (LMn algebras for short). The study has four parts. It is by and large self-contained. The main result of the rst part is that MV4 algebras coincide with LM4 algebras. The larger class of \relaxed"-MV...
متن کامل